From: Florian Müllner Date: Wed, 19 Oct 2022 13:13:32 +0000 (+0200) Subject: data: Remove unused overrides schema X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~405^2^2~260 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=a9e7dfe8fa8717b95f4f451450aa2ac8beab87bc;p=gnome-shell.git data: Remove unused overrides schema The old custom overrides mechanism was superseded by session-specific defaults back in 2018. By now any potential consumers (like gnome-tweaks) should have adjusted, so time to remove it. Part-of: --- diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in index 86ad1b24b..f70d4ea4c 100644 --- a/data/org.gnome.shell.gschema.xml.in +++ b/data/org.gnome.shell.gschema.xml.in @@ -316,49 +316,4 @@ [] - - - - - true - Attach modal dialog to the parent window - - This key overrides the key in org.gnome.mutter when running - GNOME Shell. - - - - - true - Enable edge tiling when dropping windows on screen edges - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - - - - true - Workspaces are managed dynamically - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - - - - true - Workspaces only on primary monitor - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - - - - true - Delay focus changes in mouse mode until the pointer stops moving - - This key overrides the key in org.gnome.mutter when running GNOME Shell. - - -